![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
[OOPSLA23] Automated Translation of Functional Big Data Queries to SQL (ACM SIGPLAN) View |
![]() |
[OOPSLA23] Functional collection programming with semi-ring dictionaries (ACM SIGPLAN) View |
![]() |
[OOPSLA23] Languages with Decidable Learning: A Meta-theorem (ACM SIGPLAN) View |
![]() |
Automated Policy Synthesis for System Call Sandboxing (ACM SIGPLAN) View |
![]() |
Falx: Synthesis-Powered Visualization Authoring (ACM SIGCHI) View |
![]() |
() View |
![]() |
() View |
![]() |
() View |
![]() |
() View |
![]() |
() View |